Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
941	Assisted Proof Document Authoring David Aspinall1 , Christoph L¨ uth2 , and Burkhart Wolff3 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2006-09-27 08:42:21 Formal methods Automated theorem proving Complexity classes Functional languages Proof assistant Isabelle Theorem prover IP Literate programming Theoretical computer science Computing Software
942	Making the Most of the Software Development Process Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Organisations are under increased pressure to look at development initiatives from a return Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Formal methods Software project management Software engineering Agile software development IBM Rational Unified Process Unified Process Dynamic systems development method Project management Extreme programming Software development Software Software development process
943	solution brief Integrating testing and requirements management to supercharge software delivery SOLUTION BRIEF \| Integrating testing and requirements management to supercharge software delivery Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:33 Software requirements Formal methods Software testing Requirements management Software development process Reliability engineering Requirement Software quality HP Application Lifecycle Management Software development Systems engineering Software
944	Using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Andrew Ireland, Gudmund Grov, Leo Freitas, Andrius Velykis & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Logical syntax Mathematical logic Formal methods Proof theory Rippling Mathematical proof Formal proof IP Theorem Logic Mathematics Automated theorem proving
945	Introduction to Satisfiability Solving with Practical Applications Niklas Een SAT solvers Add to Reading List Source URL: wikis.mit.edu Language: English - Date: 2011-06-27 04:21:44 Mathematics Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Unit propagation Backtracking Resolution Theoretical computer science Constraint programming Applied mathematics
946	Productive use of failure in top-down formal methods Alan Bundy, Gudmund Grov, Yuhui Lin Background & motivation Our approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Proof theory Heuristics Rippling Mathematical proof Theorem Formal methods Formal proof Caller Logic Mathematics Logical syntax
947	! ! Contribution!of!the! AI4FM!2014! Workshop! Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2014-05-08 12:11:09 Formal methods Formal sciences Mathematical logic Logic in computer science Correctness Termination analysis Hoare logic Automated theorem proving Logical framework Mathematics Theoretical computer science Applied mathematics
948	An Agile Customer-Centered Method: Rapid Contextual Design Hugh Beyer1, Karen Holtzblatt1, Lisa Baker2 1 2 Add to Reading List Source URL: www.incontextdesign.com Language: English - Date: 2010-04-08 17:08:08 Human–computer interaction Agile software development Software requirements Formal methods User story Acceptance testing Contextual design Contextual inquiry Usability Software development Software Software project management
949	αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:06 Automated theorem proving Metalogic Formal methods First-order logic IP Well-formed formula Modal logic Theorem prover Propositional calculus Logic Mathematical logic Model theory
950	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science